The Road to Enlightenment
https://www.cs.sfu.ca/research/groups/CL/index.htm
http://www.computational-logic.org/
https://online.stanford.edu/courses/cs157-computational-logic
https://emcl-study.eu/computational_logic.html
https://www.cs.sfu.ca/research/groups/CL/index.htm
http://www.computational-logic.org/
https://online.stanford.edu/courses/cs157-computational-logic
https://emcl-study.eu/computational_logic.html
Computational Logic:proof theory, computational complexity and automated deduction.
http://www.computational-logic.org/index.php
https://tu-dresden.de/